HARRISON-TRAINOR, MATTHEW: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Nonstandard methods for bounds in differential polynomial rings

Matthew Harrison-Trainor, Jack Klys, Rahim Moosa

Journal:

Journal of Algebra

Year:

2012

Language:

english

File:

PDF, 245 KB

english, 2012

2

Independence in computable algebra

Harrison-Trainor, Matthew, Melnikov, Alexander, Montalbán, Antonio

Journal:

Journal of Algebra

Year:

2015

Language:

english

File:

PDF, 563 KB

english, 2015

3

Scott ranks of models of a theory

Harrison-Trainor, Matthew

Journal:

Advances in Mathematics

Year:

2018

Language:

english

File:

PDF, 658 KB

english, 2018

4

LEFT-ORDERABLE COMPUTABLE GROUPS

HARRISON-TRAINOR, MATTHEW

Journal:

Journal of Symbolic Logic

Year:

2018

Language:

english

File:

PDF, 230 KB

english, 2018

5

Effective aspects of algorithmically random structures

Harrison-Trainor, Matthew, Khoussainov, Bakh, Turetsky, Daniel

Journal:

Year:

2018

Language:

english

File:

PDF, 261 KB

english, 2018

6

There is no classification of the decidably presentable structures

Harrison-Trainor, Matthew

Journal:

Journal of Mathematical Logic

Year:

2018

Language:

english

File:

PDF, 489 KB

english, 2018

7

A note on cancellation axioms for comparative probability

Harrison-Trainor, Matthew, Holliday, Wesley H., Icard, Thomas F.

Journal:

Theory and Decision

Year:

2016

Language:

english

File:

PDF, 172 KB

english, 2016

8

DIFFERENTIAL-ALGEBRAIC JET SPACES PRESERVE INTERNALITY TO THE CONSTANTS

CHATZIDAKIS, ZOE, HARRISON-TRAINOR, MATTHEW, MOOSA, RAHIM

Journal:

Journal of Symbolic Logic

Year:

2015

Language:

english

File:

PDF, 168 KB

english, 2015

9

The Gamma question for many-one degrees

Harrison-Trainor, Matthew

Journal:

Annals of Pure and Applied Logic

Year:

2017

Language:

english

File:

PDF, 550 KB

english, 2017

10

DEGREES OF CATEGORICITY ON A CONE VIA η-SYSTEMS

CSIMA, BARBARA F., HARRISON-TRAINOR, MATTHEW

Journal:

Journal of Symbolic Logic

Year:

2017

Language:

english

File:

PDF, 381 KB

english, 2017

11

Inferring probability comparisons

Harrison-Trainor, Matthew, Holliday, Wesley H., Icard, Thomas F.

Journal:

Mathematical Social Sciences

Year:

2017

Language:

english

File:

PDF, 397 KB

english, 2017

12

COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY

HARRISON-TRAINOR, MATTHEW, MELNIKOV, ALEXANDER, MILLER, RUSSELL, MONTALBÁN, ANTONIO

Journal:

Journal of Symbolic Logic

Year:

2017

Language:

english

File:

PDF, 326 KB

english, 2017

13

Computable valued fields

Harrison-Trainor, Matthew

Journal:

Archive for Mathematical Logic

Year:

2017

Language:

english

File:

PDF, 495 KB

english, 2017

14

Some new computable structures of high rank

Harrison-Trainor, Matthew, Igusa, Gregory, Knight, Julia F.

Journal:

Proceedings of the American Mathematical Society

Year:

2018

Language:

english

File:

PDF, 224 KB

english, 2018

15

BOREL FUNCTORS AND INFINITARY INTERPRETATIONS

HARRISON-TRAINOR, MATTHEW, MILLER, RUSSELL, MONTALBÁN, ANTONIO

Journal:

Journal of Symbolic Logic

Year:

2018

Language:

english

File:

PDF, 303 KB

english, 2018

16

On Computable Field Embeddings and Difference Closed Fields

Harrison-Trainor, Matthew, Melnikov, Alexander, Miller, Russell

Year:

2017

Language:

english

File:

PDF, 784 KB

english, 2017

17

The Complexity of Countable Structures

Harrison-Trainor, Matthew

Journal:

Bulletin of Symbolic Logic

Year:

2018

File:

PDF, 92 KB

2018

18

On optimal Scott sentences of finitely generated algebraic structures

Harrison-Trainor, Matthew, Ho, Meng-Che

Journal:

Proceedings of the American Mathematical Society

Year:

2018

File:

PDF, 217 KB

2018

19

A first-order theory of Ulm type

Harrison-Trainor, Matthew

Journal:

Year:

2018

Language:

english

File:

PDF, 204 KB

english, 2018

20

Characterizations of cancellable groups

Harrison-Trainor, Matthew, Ho, Meng-Che “Turbo”

Journal:

Proceedings of the American Mathematical Society

Year:

2019

File:

PDF, 214 KB

2019

21

A first-order theory of Ulm type

Harrison-Trainor, Matthew

Journal:

Year:

2018

File:

PDF, 204 KB

2018

22

AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES

BAZHENOV, NIKOLAY, HARRISON-TRAINOR, MATTHEW, KALIMULLIN, ISKANDER, MELNIKOV, ALEXANDER, MENG NG, KENG

Journal:

Journal of Symbolic Logic

Year:

2019

Language:

english

File:

PDF, 747 KB

english, 2019

23

FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS

HARRISON-TRAINOR, MATTHEW

Journal:

The Review of Symbolic Logic

Year:

2019

Language:

english

File:

PDF, 274 KB

english, 2019

24

Degrees of categoricity above limit ordinals

Csima, Barbara F., Deveau, Michael, Harrison-Trainor, Matthew, Mahmoud, Mohammad Assem

Journal:

Year:

2020

File:

PDF, 170 KB

2020

25

Finitely generated groups are universal among finitely generated structures

Harrison-Trainor, Matthew, Ho, Meng-Che âTurboâ

Journal:

Annals of Pure and Applied Logic

Year:

2021

File:

PDF, 488 KB

2021

26

COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM

HARRISON-TRAINOR, MATTHEW, MELNIKOV, ALEXANDER, NG, KENG MENG

Journal:

Journal of Symbolic Logic

Year:

2020

File:

PDF, 501 KB

2020

27

The tree of tuples of a structure

Harrison-Trainor, Matthew, MontalbÃ¡n, Antonio

Journal:

Journal of Symbolic Logic

Year:

2020

File:

PDF, 566 KB

2020

28

THE LOGIC OF COMPARATIVE CARDINALITY

DING, YIFENG, HARRISON-TRAINOR, MATTHEW, HOLLIDAY, WESLEY H.

Journal:

Journal of Symbolic Logic

Year:

2020

File:

PDF, 595 KB

2020